The Generalized Requirement Approach for Requirement Validation with Automatically Generated Program Code
نویسندگان
چکیده
منابع مشابه
Automatically Structuring Textual Requirement Scenarios
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large informal or semi-formal scenario collections consisting of weakly structured texts is still a key research issue. In this paper we report on a novel approach of automatically structuring textual document collections. ...
متن کاملLight Requirement for the Carotenoids Production by Mucor hiemalis
Objective Fungi produce many different carotenoids and some are attractive in medical and industrial sources. In this work the ability of Mucor hiemalis (PTCC 5292) to produce carotenoids in media with different nitrogenous and carbon sources and incubation with white, yellow, blue and red lights (15W, 220V, E27) against dark-grown were studied. Materials and Method The microorganism cultiva...
متن کاملConstructing a Safety Case for Automatically Generated Code from Formal Program Verification Information
Formal methods can in principle provide the highest levels of assurance of code safety by providing formal proofs as explicit evidence for the assurance claims. However, the proofs are often complex and difficult to relate to the code, in particular if it has been generated automatically. They may also be based on assumptions and reasoning principles that are not justified. This causes concerns...
متن کاملEmpirical Validation of Reliable Requirement Specification Framework
In the view of changing technologies in requirement engineering the RRS framework is being introduced [1] for early stage requirement defect identification [2] and mitigation [3] during software development process to make requirement specification reliable. With the use of RRS framework at early stage of SDLC, requirement defect identification and their proper mitigation has become cheaper tha...
متن کاملA Novel Approach for Software Requirement Specification
Speech is the primary way of communication. With the discovery of Reverse Speech (RS) a new way for communication is revealed. As RS is the discovery of hidden messages, referred as reversals, in normal speech, works are in progress for exploiting the relevance of RS in different real world applications such as investigation, medical field etc. In this paper we represent a novel and innovative ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Interdisciplinary Journal of Information, Knowledge, and Management
سال: 2014
ISSN: 1555-1229,1555-1237
DOI: 10.28945/1946